Ying, MingSheng: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Model-Checking Linear-Time Properties of Quantum Systems

Ying, Mingsheng, Li, Yangjia, Yu, Nengkun, Feng, Yuan

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 359 KB

english, 2014

2

Linguistic quantifiers modeled by Sugeno integrals

Journal:

Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 230 KB

english, 2006

3

Quantum computation, quantum theory and AI

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 223 KB

english, 2010

4

On fundamentals of fuzzy logic and soft computing and some applications

Yingming Liu, Mingsheng Ying, Guoqing Chen

Journal:

Fuzzy Sets and Systems

Year:

2007

Language:

english

File:

PDF, 86 KB

english, 2007

5

Generalized Region Connection Calculus

Sanjiang Li, Mingsheng Ying

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 373 KB

english, 2004

6

Distinguishability of Quantum States by Separable Operations

Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying

Journal:

IEEE Transactions on Information Theory

Year:

2009

Language:

english

File:

PDF, 267 KB

english, 2009

7

Analysis of Gas Centrifuge Cascade for Separation of Multicomponent Isotopes and Optimal Feed Position

Ying, Chuntong, Wu, Hongjiang, Zhou, Mingsheng, Nie, Yuguang, Liu, Guangjun

Journal:

Separation Science and Technology

Year:

1997

Language:

english

File:

PDF, 487 KB

english, 1997

8

Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination

Sun, Xiaoming, Zhang, Shengyu, Feng, Yuan, Ying, Mingsheng

Journal:

Physical Review A

Year:

2002

Language:

english

File:

PDF, 51 KB

english, 2002

9

An algebra of quantum processes

Ying, Mingsheng, Feng, Yuan, Duan, Runyao, Ji, Zhengfeng

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 248 KB

english, 2009

10

Approximate reasoning with linguistic modifiers

Mingsheng Ying, Bernadette Bouchon-Meunier

Journal:

International Journal of Intelligent Systems

Year:

1998

Language:

english

File:

PDF, 127 KB

english, 1998

11

A new approach for fuzzy topology (III)

Journal:

Fuzzy Sets and Systems

Year:

1993

Language:

english

File:

PDF, 667 KB

english, 1993

12

When is the ideal completion of abstract basis algebraic

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 131 KB

english, 1996

13

Knowledge transformation and fusion in diagnostic systems

Journal:

Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 351 KB

english, 2005

14

Reasoning about cardinal directions between extended objects

Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 1.30 MB

english, 2010

15

Region Connection Calculus: Its models and composition table

Sanjiang Li, Mingsheng Ying

Journal:

Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 300 KB

english, 2003

16

Wootters–Zurek quantum-copying machine: the higher-dimensional case

Journal:

Physics Letters A

Year:

2002

Language:

english

File:

PDF, 76 KB

english, 2002

17

Characterizations of quantum automata

Daowen Qiu, Mingsheng Ying

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 242 KB

english, 2004

18

Quantum programming: From theories to implementations

Ying, MingSheng, Feng, Yuan, Duan, RunYao, Li, YangJia, Yu, NengKun

Journal:

Chinese Science Bulletin

Year:

2012

Language:

english

File:

PDF, 416 KB

english, 2012

19

Model checking quantum Markov chains

Feng, Yuan, Yu, Nengkun, Ying, Mingsheng

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 357 KB

english, 2013

20

Termination of nondeterministic quantum programs

Li, Yangjia, Yu, Nengkun, Ying, Mingsheng

Journal:

Acta Informatica

Year:

2014

Language:

english

File:

PDF, 285 KB

english, 2014

21

Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States

Yu, Nengkun, Duan, Runyao, Ying, Mingsheng

Journal:

Physical Review Letters

Year:

2012

Language:

english

File:

PDF, 113 KB

english, 2012

22

Greenhouse gas emissions from landfill leachate treatment plants: A comparison of young and aged landfill

Wang, Xiaojun, Jia, Mingsheng, Chen, Xiaohai, Xu, Ying, Lin, Xiangyu, Kao, Chih Ming, Chen, Shaohua

Journal:

Waste Management

Year:

2014

Language:

english

File:

PDF, 860 KB

english, 2014

23

Polyphenolic extract from Rosa rugosa tea inhibits bacterial quorum sensing and biofilm formation

Zhang, Juanmei, Rui, Xin, Wang, Li, Guan, Ying, Sun, Xingmin, Dong, Mingsheng

Journal:

Year:

2014

Language:

english

File:

PDF, 1.60 MB

english, 2014

24

Surface modification of several dental substrates by non-thermal, atmospheric plasma brush

Chen, Mingsheng, Zhang, Ying, Sky Driver, M., Caruso, Anthony N., Yu, Qingsong, Wang, Yong

Journal:

Dental Materials

Year:

2013

Language:

english

File:

PDF, 2.50 MB

english, 2013

25

Five two-qubit gates are necessary for implementing the Toffoli gate

Yu, Nengkun, Duan, Runyao, Ying, Mingsheng

Journal:

Physical Review A

Year:

2013

Language:

english

File:

PDF, 147 KB

english, 2013

26

Multiple-copy entanglement transformation and entanglement catalysis

Duan, Runyao, Feng, Yuan, Li, Xin, Ying, Mingsheng

Journal:

Physical Review A

Year:

2005

Language:

english

File:

PDF, 119 KB

english, 2005

27

Upper bound for the success probability of unambiguous discrimination among quantum states

Zhang, Shengyu, Feng, Yuan, Sun, Xiaoming, Ying, Mingsheng

Journal:

Physical Review A

Year:

2001

Language:

english

File:

PDF, 38 KB

english, 2001

28

SOME NOTES ON MULTIDIMENSIONAL FUZZY REASONING

Mingsheng, Ying

Journal:

Cybernetics & Systems

Year:

1988

Language:

english

File:

PDF, 163 KB

english, 1988

29

Floyd--hoare logic for quantum programs

Ying, Mingsheng

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 569 KB

english, 2011

30

Symbolic Bisimulation for Quantum Processes

Feng, Yuan, Deng, Yuxin, Ying, Mingsheng

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 1.23 MB

english, 2014

31

Fu brick tea extract supplementation enhanced probiotic viability and antioxidant activity of tofu under simulated gastrointestinal digestion condition

Wang, Jinpeng, Xiao, Yu, Rui, Xin, Xu, Xiao, Guan, Ying, Zhang, Qiuqin, Dong, Mingsheng

Journal:

Year:

2016

Language:

english

File:

PDF, 3.08 MB

english, 2016

32

Enhancing the functional properties of soymilk residues (okara) by solid-state fermentation with Actinomucor elegans

Guan, Ying, Wang, Jinpeng, Wu, Junjun, Wang, Lixia, Rui, Xin, Xing, Guangliang, Dong, Mingsheng

Journal:

CyTA - Journal of Food

Year:

2016

Language:

english

File:

PDF, 1.59 MB

english, 2016

33

Quantum Supremacy Circuit Simulation on Sunway TaihuLight

Li, Riling, Wu, Bujiao, Ying, Mingsheng, Sun, Xiaoming, Yang, Guangwen

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2020

Language:

english

File:

PDF, 2.18 MB

english, 2020

34

[IEEE 2020 IEEE International Conference on Multimedia and Expo (ICME) - London, United Kingdom (2020.7.6-2020.7.10)] 2020 IEEE International Conference on Multimedia and Expo (ICME) - A Multi-Player Minimax Game for Generative Adversarial Networks

Jin, Ying, Wang, Yunbo, Long, Mingsheng, Wang, Jianmin, Yu, Philip S., Sun, Jiaguang

Year:

2020

File:

PDF, 215 KB

2020

35

Approximate Reasoning Based on Similarity

Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying

Journal:

Mathematical Logic Quarterly

Year:

2000

Language:

english

File:

PDF, 207 KB

english, 2000

36

Dealing with uncertainty and fuzziness in intelligent systems

Guoqing Chen, Mingsheng Ying, Yingming Liu

Journal:

International Journal of Intelligent Systems

Year:

2009

Language:

english

File:

PDF, 35 KB

english, 2009

37

Deduction Theorem for Many-Valued Inference

Journal:

Mathematical Logic Quarterly

Year:

1991

Language:

english

File:

PDF, 206 KB

english, 1991

38

THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC

Journal:

Mathematical Logic Quarterly

Year:

1992

Language:

english

File:

PDF, 242 KB

english, 1992

39

COMPACTNESS, THE LÖWENHEIM-SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES

Mingsheng Ying, Mingsheng Ying

Journal:

Mathematical Logic Quarterly

Year:

1992

Language:

english

File:

PDF, 196 KB

english, 1992

40

Fuzzy semilattices

Journal:

Information Sciences

Year:

1987

Language:

english

File:

PDF, 223 KB

english, 1987

41

Report from Jiangxi Province, People's Republic of China

Journal:

Fuzzy Sets and Systems

Year:

1988

Language:

english

File:

PDF, 235 KB

english, 1988

42

On ϵ-fuzzy sets

Journal:

Fuzzy Sets and Systems

Year:

1989

Language:

english

File:

PDF, 591 KB

english, 1989

43

A new approach for fuzzy topology (I)

Journal:

Fuzzy Sets and Systems

Year:

1991

Language:

english

File:

PDF, 686 KB

english, 1991

44

Fuzzifying topology based on complete residuated lattice-valued logic (I)

Journal:

Fuzzy Sets and Systems

Year:

1993

Language:

english

File:

PDF, 1.39 MB

english, 1993

45

Fuzzifying uniform spaces

Journal:

Fuzzy Sets and Systems

Year:

1993

Language:

english

File:

PDF, 456 KB

english, 1993

46

On the method of neighborhood systems in fuzzy topology

Journal:

Fuzzy Sets and Systems

Year:

1994

Language:

english

File:

PDF, 602 KB

english, 1994

47

Quantum operation, quantum Fourier transform and semi-definite programming

Runyao Duan, Zhengfeng Ji, Yuan Feng, Mingsheng Ying

Journal:

Physics Letters A

Year:

2004

Language:

english

File:

PDF, 209 KB

english, 2004

48

Comparability of multipartite entanglement

Zhengfeng Ji, Runyao Duan, Mingsheng Ying

Journal:

Physics Letters A

Year:

2004

Language:

english

File:

PDF, 120 KB

english, 2004

49

Local discrimination of maximally entangled states in canonical form

Hongen Cao, Mingsheng Ying

Journal:

Physics Letters A

Year:

2004

Language:

english

File:

PDF, 83 KB

english, 2004

50

Unambiguous discrimination of mixed quantum states

Chi Zhang, Yuan Feng, Mingsheng Ying

Journal:

Physics Letters A

Year:

2006

Language:

english

File:

PDF, 155 KB

english, 2006